cauchy convergence criterion for sequence